$M$.ds($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$fpf{-}cap(1of($M$);IdDeq;$x$;Top)